Generalised dualities and maximal finite antichains in the homomorphism order of relational structures
نویسندگان
چکیده
The motivation for this paper is three-fold. First, we study the connectivity properties of the homomorphism order of directed graphs, and more generally for relational structures. As opposed to the homomorphism order of undirected graphs (which has no non-trivial finite maximal antichains), the order of directed graphs has finite maximal This research was partially supported by the EU Research Training Network COMBSTRU. The third author’s research is supported by grants from NSERC and ARP. The Institute for Theoretical Computer Science is supported as project 1M0021620808 by the Ministry of Education of the Czech Republic.
منابع مشابه
Generalised Dualities and Finite Maximal Antichains
We fully characterise the situations where the existence of a homomorphism from a digraph G to at least one of a finite set H of directed graphs is determined by a finite number of forbidden subgraphs. We prove that these situations, called generalised dualities, are characterised by the non-existence of a homomorphism to G from a finite set of forests. Furthermore, we characterise all finite m...
متن کاملOn Finite Maximal Antichains in the Homomorphism Order
The relation of existence of a homomorphism on the class of all relational structures of a fixed type is reflexive and transitive; it is a quasiorder. There are standard ways to transform a quasiorder into a partial order – by identifying equivalent objects, or by choosing a particular representative for each equivalence class. The resulting partial order is identical in both cases. Properties ...
متن کاملSplitting finite antichains in the homomorphism order
A structural condition is given for finite maximal antichains in the homomorphism order of relational structures to have the splitting property. It turns out that non-splitting antichains appear only at the bottom of the order. Moreover, we examine looseness and finite antichain extension property for some subclasses of the homomorphism poset. Finally, we take a look at cut-points in this order.
متن کاملRegular families of forests, antichains and duality pairs of relational structures
Homomorphism duality pairs play a crucial role in the theory of relational structures and in the Constraint Satisfaction Problem. The case where both classes are finite is fully characterized. The case when both side are infinite seems to be very complex. It is also known that no finite-infinite duality pair is possible if we make the additional restriction that both classes are antichains. In ...
متن کاملOn maximal finite antichains in the homomorphism order of directed graphs
We show that the pairs {T, DT } where T is a tree and DT its dual are the only maximal antichains of size 2 in the category of directed graphs endowed with its natural homomorphism ordering.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Eur. J. Comb.
دوره 29 شماره
صفحات -
تاریخ انتشار 2008